class Foo { Bool foo(List x) { return x[0] == 7 } }